Conflict-Tolerant Features
نویسندگان
چکیده
We consider systems composed of a base system with multiple “features” or “controllers”, each of which independently advise the system on how to react to input events so as to conform to their individual specifications. We propose a methodology for developing such systems in a way that guarantees the “maximal” use of each feature. The methodology is based on the notion of “conflict-tolerant” features that are designed to continue offering advice even when their advice has been overridden in the past. We give a simple priority-based composition scheme for such features, which ensures that each feature is maximally utilized. We also provide a formal framework for specifying, verifying, and synthesizing such features. In particular we obtain a compositional technique for verifying systems developed in this framework.
منابع مشابه
On the Controller Synthesis for Probabilistic Systems of Conflict Tolerant Specification
For an embedded control system, different requirements maybe need be satisfied at same time. Always some of them makes the system to act inconsistently, or even conflicted. Conflict tolerant specification is provided to denote this situation. In such a system, there often exist probabilistic and non-deterministic behaviors. We use Markov Decision Process (MDP) to denote these features. Based on...
متن کاملConflict-Tolerant Switching Controllers
This paper addresses the problem of detecting and resolving conflicts between switching controllers of hybrid systems. We consider systems composed of a base system with multiple switching controllers, each of which independently control the base system dynamics so as to conform to their individual specifications. We propose a methodology for developing such systems in a modular manner based on...
متن کاملConflict-Tolerant Specifications for Hybrid Systems
We propose a framework for developing and reasoning about hybrid systems that are comprised of a plant with multiple controllers, each of which controls the plant intermittently. The framework is based on the notion of a “conflict-tolerant” specification for a controller, and provides a modular way of developing and reasoning about such systems. We propose a novel mechanism of defining conflict...
متن کاملStrong fault - tolerant conflict - free coloring ( Strong FTCF Coloring ) for intervals
Given a set of points P, a conflict-free coloring of P is an assignment of colors to points of P, such that there exist a point p in any subset of P whose color is distinct from all other points in that subset of P. This notion is motivated by frequency assignment in wireless cellular networks: one would like to minimize the number of frequencies (colors) assigned to base stations (points), suc...
متن کاملConflict Tolerant Queries in AURORA
Conflict tolerant queries are a new way of dealing with instance level conflicts in data integrated from multiple sources. In contrast to the traditional approach of resolving such conflicts during schema integration using aggregation functions, we establish a query model and processing techniques to tolerate these conflicts at query time to a degree specified by the users. Resolutions are only...
متن کامل